mml / tiny-systems

:tv: Source code with tasks from Tomáš Petříček's "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!

Home Page:https://d3s.mff.cuni.cz/teaching/nprg077/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Write your own tiny programming system(s)!

This repository contains the source code for the tasks for my course Write your own tiny programming system(s)!. You can find more information about the course on the official course page (including links to slides and video recordings). The associated slides live in my Teaching repository.

Sample tiny systems

Materials license

The presentations and documents available in the repository are available under the Creative Commons Attribution 2.5 license. This means that you can copy, distribute and remix the work, but you must attribute the work to the author (by providing a link to the original source and my name). For more information see the full license details.

About

:tv: Source code with tasks from Tomáš Petříček's "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!

https://d3s.mff.cuni.cz/teaching/nprg077/


Languages

Language:F# 99.0%Language:Prolog 1.0%