You must now use 'eval' to get the body of a concept

2019-12-24 16:58:09 +01:00
parent 5c90b07e1a
commit 44e4b75cf8
37 changed files with 1003 additions and 383 deletions
@@ -9,6 +9,9 @@ indent_size=4
 indent_style=space
 indent_size=2

+[*.py]
+insert_final_newline=true
+
 # Tab indentation (no size specified)
 [Makefile]
 indent_style = tab