Commit 57c5bf54 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Add a question mark in README title

parent 42b505fd
* What is Sigmaid
* What is Sigmaid?
Sigmaid (SIGMA-calculus In Dedukti) is type-checker for Abadi and
Cardelli simply-typed ς-calculus[1]. It can be used to produce
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment