Skip to content

adamduracz/DSLsofMath

 
 

Repository files navigation

DSLsofMath

Domain Specific Languages of Mathematics

DSLsofMath wiki page at Chalmers

(A quality project funded by Chalmers with 260kkr/y for 2014, 2015 and (TBD) 2016.)

A paper has been accepted for the proceedings of TFPIE.

The project was also presented at DSLDI 2015 and at the IFIP WG 2.1 meeting #73.

  • 2015-10-09: Meeting Eva Fülöp about how to collect material for a pedagogical paper.
  • 2015-10-08: A BScProj proposal is available (in Swedish)
  • 2015-09-01: Adam starts working in the project as "amanuens" (student research assistant, 20%).

Curriculum placement

About

Domain Specific Languages of Mathematics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 46.9%
  • Agda 43.7%
  • HTML 9.1%
  • Makefile 0.3%