@@ -3,9 +3,7 @@ title: Research Ideas
3
3
---
4
4
5
5
6
- <head >
7
- <link rel =" shortcut icon " type =" image/x-icon " href =" ./favicon.ico " >
8
- </head >
6
+ <link rel =" shortcut icon " type =" image/x-icon " href =" ./favicon.ico " >
9
7
10
8
# Research Ideas
11
9
@@ -58,14 +56,14 @@ title: Research Ideas
58
56
59
57
* work on a Lamdu- or Unison- like structured editor for the web
60
58
61
- <script >
62
-
63
- (function (i ,s ,o ,g ,r ,a ,m ){i[' GoogleAnalyticsObject' ]= r;i[r]= i[r]|| function (){
64
- (i[r].q = i[r].q || []).push (arguments )},i[r].l = 1 * new Date ();a= s .createElement (o),
65
- m= s .getElementsByTagName (o)[0 ];a .async = 1 ;a .src = g;m .parentNode .insertBefore (a,m)
66
- })(window ,document ,' script' ,' https://www.google-analytics.com/analytics.js' ,' ga' );
59
+ <script >
67
60
68
- ga (' create' , ' UA-103157758-1' , ' auto' );
69
- ga (' send' , ' pageview' );
61
+ (function (i ,s ,o ,g ,r ,a ,m ){i[' GoogleAnalyticsObject' ]= r;i[r]= i[r]|| function (){
62
+ (i[r].q = i[r].q || []).push (arguments )},i[r].l = 1 * new Date ();a= s .createElement (o),
63
+ m= s .getElementsByTagName (o)[0 ];a .async = 1 ;a .src = g;m .parentNode .insertBefore (a,m)
64
+ })(window ,document ,' script' ,' https://www.google-analytics.com/analytics.js' ,' ga' );
70
65
71
- </script >
66
+ ga (' create' , ' UA-103157758-1' , ' auto' );
67
+ ga (' send' , ' pageview' );
68
+
69
+ </script >
0 commit comments