tdidriksen/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
tdidriksen
Discovered public repositories for tdidriksen in the GitHub catalog.
tdidriksen/copatterns
A repository for a project concerning copatterns.
tdidriksen/SASP-Project
A project in the Advanced Models and Programs (SASP) course at the IT University of Copenhagen.
tdidriksen/BON-ES-Report
A report describing the work of integrating textual BON into EiffelStudio
tdidriksen/rEBON
The rEBON project is reviving the EBON project started to Joseph Kiniry some ten years ago. See website for further info.