matijapretnar/eff

#type command not working

Closed this issue · 1 comments

lambduli commented

Both the website's REPL and the local build from the master do nothing on the #type command.

Here's what I tried on both, the website and the local REPL :

#type 23 ;;

The terminal just eats the input and prints a newline.

matijapretnar commented

Thanks! This was simpler to fix than I imagined :)

  • 🚀1