Skip to content
forked from edwinb/WS-idr

Fork of Edwin Brady's Whitespace interpreter in Idris

Notifications You must be signed in to change notification settings

wspace/edwinb-ws-idr

 
 

Repository files navigation

About

Fork of Edwin Brady's Whitespace interpreter in Idris

Topics

Resources

Stars

Watchers

Forks

Languages

  • Idris 79.1%
  • Witcher Script 20.9%