Skip to content
/ Fun Public
forked from harpocrates/Fun

Interpreter(s) for prototyping evaluation/typing rules.

License

Notifications You must be signed in to change notification settings

helvm/Fun

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 

🫖 COC

LOL. I'm a teapot. The Celestial Teapot. And this is my Contributor Covenant Code of Conduct.

🦄 🌈 ❤️ 💛 💚 💙 🤍 🖤

About

Interpreter(s) for prototyping evaluation/typing rules.

Topics

License

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

Packages

No packages published

Languages

  • Haskell 100.0%