cth.altocumulus.org/~hallgren/Alfa
Preview meta tags from the cth.altocumulus.org website.
Linked Hostnames
5- 12 links tocth.altocumulus.org
- 2 links todmoz.org
- 1 link tohaskell.org
- 1 link towww.cse.chalmers.se
- 1 link towww.grammaticalframework.org
General Meta Tags
4- titleBeviseditorn Alfa
- keywordsAlfa, beviseditor, bevisassistent, logiska ramverk, typteori, syntaxorienterad editor, funktionella språk, beroende typer
- viewportwidth=device-width
- charsetUTF-8
Link Tags
3- alternateindex.html
- author/~hallgren/
- stylesheetalfa.css
Links
17- http://dmoz.org
- http://dmoz.org/Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks
- http://haskell.org
- http://www.cse.chalmers.se/research/group/logic/alf/guide.html
- http://www.grammaticalframework.org