klartext/mg-book-sml-sources klartext/mg-book-sml-sources

  • Stars
    star
    4
  • Rank 3,239,962 (Top 66 %)
  • Language Standard ML
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
klartext/mg-book-sml-sources
github

klartext

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SML sources of the book "Morphogrammatik: Eine Einführung in die Theorie der logischen Form"

More Repositories

1

any-dl

any-dl: generic mediathek-downloader ("generic" means, you also can call it "scrapertool")
OCaml
42
star
2

lablgtk2-ocaml-Tutorial

LablGtk2-Ocaml-Tutorial, initially written by SooHyoung Oh, made available here
HTML
6
star